Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
341	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
342	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
343	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
344	DIGITAL ATMOSPHERE — ANALYSIS ALGORITHM DOCUMENTATION DIGITAL ATMOSPHERE Technical Documentation Add to Reading List Source URL: www.weathergraphics.com Language: English - Date: 2005-01-20 15:20:53 Rounding Mathematics Applied mathematics Computer science Computability theory Lambda calculus Theoretical computer science
345	Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-05 12:06:59 Deduction Logic Natural deduction Logic in computer science Lambda calculus Combinatory logic Mathematical logic Theoretical computer science Proof theory
346	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
347	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
348	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
349	Evaluating Call-by-need on the Control Stack Stephen Chang, David Van Horn, Matthias Felleisen Northeastern University 1 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Computer science Computability theory Lambda calculus Theoretical computer science Call stack Stack Futures and promises Eval Computing Software engineering Models of computation
350	The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of Science and Technology March 6, 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:34 Applied mathematics Lambda calculus Computability theory Combinatory logic Spectral theory of ordinary differential equations Holomorphic functional calculus Mathematics Theoretical computer science Spectral theory

UPDATE